Verification in space
نویسندگان
چکیده
منابع مشابه
Stable Gesture Verification in Eigen Space
This paper mainly discusses the stable gesture classification criteria, which can identify several human motions from a sequence of images with the eigen space method. We have already proposed the gesture classification technique with the silhouette images and the PCA method, which includes the difficulty in the correspondence between two sets of eigen points, i.e. dictionary and input sequence...
متن کاملLocal Verification Using a Distributed State Space
This paper deals with the modular analysis of distributed concurrent systems modelled by Petri nets. The main analysis techniques of such systems suffer from the well-known problem of the combinatory explosion of state space. In order to cope with this problem, we use a modular representation of the state space instead of the ordinary one. The modular representation, namely modular state space,...
متن کاملParametric Verification of Address Space Separation
The address translation subsystem of operating systems, hypervisors, and virtual machine monitors must correctly enforce address space separation in the presence of adversaries. The size, and hierarchical nesting, of the data structures over which such systems operate raise challenges for automated model checking techniques to be fruitfully applied to them. We address this problem by developing...
متن کاملSpace-Time Tradeoffs for Distributed Verification
Verifying that a network configuration satisfies a given boolean predicate is a fundamental problem in distributed computing. Many variations of this problem have been studied, for example, in the context of proof labeling schemes (PLS), locally checkable proofs (LCP), and non-deterministic local decision (NLD). In all of these contexts, verification time is assumed to be constant. Korman, Kutt...
متن کاملDeductive Verification of State-Space Algorithms
As any software, model-checkers are subject to bugs. They can thus report false negatives or validate a model that they should not. Different methods, such as theorem provers or Proof-Carrying Code, have been used to gain more confidence in the results of model-checkers. In this paper, we focus on using a verification condition generator that takes annotated algorithms and ensures their termina...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 1985
ISSN: 0028-0836,1476-4687
DOI: 10.1038/315704c0